Discovering the differences between the various systems of modal logics was one of the advantages of inventing Kripke semantics. One of the most obvious examples is interpreting the necessity of provability in provability logic. According to Boolos in The Logic of Provability, by discovering this logic, we can say that the understanding of new issues in the field of argument was opened. In this paper, with a formal approach and with a descriptive-analytical and comparative method, the axiomatic propositional systems of (...) the GL, Grz, and H, and their possible world semantics based on Kripke semantics are studied, as well as the sequent calculus of GL (in Peano arithmetic) and GLS (in the standard model) were introduced. Finally, the meta-theorems of soundness, consistency, and completeness of the GL were interpreted and proved. (shrink)

In this paper, we continued the preparatory works of Jingde Cheng in conjunction with spatio-temporal relevant logics, and proposed several epistemic spatio-temporal relevant logics as basic logics for Mobile Multi-Agent Systems (MMAS). To establish an inference system, important elements are: semantics and syntax appropriate to it include a language, axioms and inference rules. By proving the meta-logical properties such as soundness and consistency, completeness and decidability and etc., we have a method to test the reliability of the systems. Finally, we (...) will have models and algorithms for the application of these logics in the MMAS. (shrink)

The logical formalism of abductive reasoning is still an open discussion and various theories have been presented about it. Abduction is a type of non-monotonic and defeasible reasonings, and the logic containing such a reasoning is one of the types of non-nonmonotonic and defeasible logics, such as inductive logic. Abduction is a kind of natural reasoning and it is a solution to the problems having this form "the phenomenon of φ cannot be explained by the theory of Θ" and we (...) need to search for (or to adduce) an explanation for φ. Taking α as the explanation and <Θ,φ> as the abductive problem, Θ∪{α}⊨φ is the logical format of a strong abductive reasoning. In this article, the proof theory for first-order abductive calculus is proposed based on Gentzen-type first-order proof theory. Considering its dual, i.e., the semantic tableaux, and without the need to translate the formulas, this calculation is sound and complete. After examining the structural rules of this calculus, some metalogical considerations and open problems such as consistency, completeness and undecidability of this account have been addressed. (shrink)

Spiritual Intelligence (S-Intelligence) introduced to achieve higher levels of knowledge and applying hidden knowledge. This intelligence is various in different people. When people work together in a team or set, these diverse influence on their performance. Facilitate the application of spiritual capacities by using abilities of S- intelligence is important to increase productivity teamwork. For this purpose, we provided a model of communication for individuals with different S-intelligence in performing team tasks. First, with the basics S-intelligence analysis and interviews with (...) experts, S-intelligence was divided in five categories. Each person according to their S-Intelligence and the role that play in teamwork (individualist, thinkist and pragmatist) from this aspect that he/she can by what kind of S-intelligences and what kind of role, has an effective team relationship, has been measured. With the 690 questionnaires among individuals with experience in teamwork and group communication, we have addressed to the measurement of their communication model. After derivation the data by fuzzy logic, we analyzed and presented an effective model of teamwork based on S-intelligence. (shrink)

Selective abduction is in contrast with creative abduction as well as Inference to the Best Explanation (IBE). There are two types of selective abduction: Either hypotheses are selected among new and conjectural hypotheses without any prior knowledge ( Pierce s' selective abduction), or the selection of the best hypotheses and explanations is among a large number of possible hypotheses and explanations already known (L. Magnani's selective abduction and G. Schurz's factual abduction). According to both views, as well as an alternative (...) view, which belongs to Dov M. Gabby and John Woods, selective abduction is different from inference to the best explanation. Schurz's factual abduction depends on all three sub-processes of inference, i.e.: colligation, observation, and judgment (c, o, and j); But Pierce's selective abduction, on the other hand, has only a third sub-process, i.e. judgment process (j), and therefore it cannot be regarded as a process of abductive epistemic inference. (shrink)

By introducing and extending description logic (DLs) and growing up their application in knowledge representation and especially in OWLs and semantic web scope, many shortcomings and bugs were identified that weren’t resolvable in classical DLs and so logicians and computer scientists intended to non-classical and non-monotonic reasoning tools. In this paper, I discuses about abduction problem solvers, and by introducing A-Box abduction in description logics (DLs), such as ALC, discuss about decidability and complexity in different introduced algorithms, and report shortly (...) our team’s advantages in developing and implementation of ΑBox abduction in DLs. (shrink)

n this paper, a non-classical axiomatic system was introduced to classify all moods of Aristotelian syllogisms, in addition to the axiom "Every a is an a" and the bilateral rules of obversion of E and O propositions. This system consists of only 2 definitions, 2 axioms, 1 rule of a premise, and moods of Barbara and Datisi. By adding first-degree propositional negation to this system, we prove that the square of opposition holds without using many of the other rules of (...) classical logic (including double negation elimination). We then show that the Propositional Substructural Logic SLe is the best logic to study Aristotelian Syllogisms. Also, based on the IFLe square of opposition, the rules of conversation and the rules of negation are completely proved in Muzaffar's logic. For this purpose, we used the monadic first-order logic with the same standard deductive apparatus of quantifiers in classical logic, plus the axioms of "some a is an a" and "some not-a is a not-a". Finally, to show that there is no existential commitment to general terms in categorical logic, the Strong Four-Valued Relevant-classical Logic KR4 was used. With the same existential interpretation of the quantifiers and the standard translation of the quarter quantified. (shrink)

Introduction Respecting the Patients’ Rights Charter leads to the demands of patients for their rights and the response of rehabilitation therapists by increasing their compliance. The present study aimed to compare the views of patients and rehabilitation therapists about the importance and extent of compliance with the Patients’ Rights Charter. Methods This cross-sectional study was conducted for 3 months on 114 patients and 55 therapists who were selected using the convenience sampling method. The data collection tools included a demographic information (...) form and the Justification and Practice of Patient Rights Questionnaire. The collected data were analyzed using descriptive statistics, independent t-test, paired t-test, and Pearson correlation coefficient. Results Mean scores of the importance of compliance with the Patients’ Rights Charter were 2.21 ± 0.40 and 2.31 ± 0.43 in the group of patients and therapists, respectively. Moreover, the mean scores of compliance with the Patients’ Rights Charter were 1.45 ± 0.48 and 1.53 ± 0.61 from the perspective of patients and therapists, respectively. There was no statistically significant difference between the views of patients and therapists on the importance and extent of compliance with the Patients’ Rights Charter. Discussion and Conclusion The importance of respecting the Patients’ Rights Charter from the perspective of patients and therapists was at a desirable level while the level of compliance with it from the perspective of both groups was moderate. It seems that more research is needed to explain the causes of this discrepancy and increase compliance with the Patients’ Rights Charter in rehabilitation clinics. (shrink)

In the course of human civilization, religion has underpinned the development of values of human respect, tolerance, peace, and the culture of peace. Unfortunately, at the same time, religion has also played the opposite role during some periods of history. Therefore, it is important to investigate how and to what extent religious faiths, or if I may say more accurately religious paradigms, have been and are ready to educate their believers in the above-mentioned value support system, and how they could (...) set about so doing. How can religion provide us with an ambiance and a paradigm within which we can create an atmosphere of dialogue among different value systems? In this brief article, I try to seek light from the teachings of the great Persian thinker and poet, Jalaluddin Mowlavi Rumi, to be able to elaborate on this topic. (shrink)

After some conceptual elaboration on the topic of the Dialogue among Civilizations, this article will give some examples of UNESCO’s contribution in this domain. DAC is intrinsically bound to the questions of identity and otherness through the role culture and civilization play in composing our identity. We forge our own identity through our culture; those who share this identity are insiders, and those who do not are outsiders. Some understandings of identity conclude in a lack of appreciation for the Others’ (...) identity, which is necessary to being a genuine partner in dialogue. At one extreme personal identity is not conceived as being subject to any changes during an individual’s lifetime; while at the other extreme, post-modernism perceives a person or a social group simply as a node in a network of relations. These definitions both suffer from the lack of a historical dimension and are based on a unitary conception of identity. The solution, as the reality of history also demonstrates, comes with a pluralistic view of identity, which not only solves some theoretical issues but also forms the only framework within which the possibility of dialogue can be assured. The wonderful consequence will then be that if absolute identity does not exist, neither can absolute otherness. We should then search for the shared roots between different cultures. It was a common scientific and philosophical culture, for example, that united Avicenna in Iran with St. Thomas Aquinas in the West; a culture going back to the Greek and Hellenistic thinkers. Globality should be understood as a visionary search for the discovery of the common roots of different cultures, rather than the dominance of any one particular culture or value system. The ethnocentric concept of culture and history can then be overcome. A genuine dialogue comes with the soul’s particular willingness to “convert” itself, to expose and risk one’s own ideas and positions. It brings us the possibility of overcoming trans-cultural dissensus on whether a particular practice violates one or another human right. And as we know from Averroes, the human soul comes from a unified universal soul. Finally, there is an inter-conceptual linkage among cultural diversity, tangible and intangible cultural heritage, sustainable development, human rights and cultural rights. UNESCO, by preserving and protecting cultural heritage, safeguarding cultural diversity, and promoting dialogue among cultures and civilizations, is contributing to its axiomatic constitutional goals, namely the construction of the defenses of peace in the minds of people through moral and intellectual solidarity. (shrink)

In this article, I will offer some remarks on and analysis of the epistemic approach to understanding dialogue and difference of its nature to negotiation. My conceptual deliberations on dialogue have been influenced by two contemporary European philosophers, Hans-Georg Gadamer and Karl Raimund Popper, as well as by the mystical and visionary elaborations of the Persian Islamic thinker, Jalaluddin Rumi of the thirteenth century. I will elaborate on the topics of dialogue and the arts of questioning and listening; dialogue and (...) the issue of language and being; and dialogue and its conduct. I will then address the socio-political conditions necessary for a genuine dialogue; and finally, I will briefly review UNESCO’s raison d'etre and conclude with a discussion of dialogue’s relevance to UNESCO’s mission. (shrink)

Predicting suspended sediment load in water resource management requires efficient and reliable predicted models. This study considers the support vector regression method to predict daily suspended sediment load. Since the SVR has unknown parameters, the observer-teacher-learner-based Optimization method is integrated with the SVR model to provide a novel hybrid predictive model. The SVR combined with the genetic algorithm is used as an alternative model. To explore the performance and application of the proposed models, five input combinations of rainfall and discharge (...) data of Cham Siah River catchment are provided. The predictive models are assessed using various numerical and visual indicators. The results indicate that the SVR-OTLBO model offers a higher prediction performance than other models employed in the current study. Specifically, SVR-OTLBO model offers highest Pearson correlation coefficient, Willmott’s Index, ratio of performance to IQ, and modified index of agreement and the lowest relative root mean square error in comparison with SVR-GA and SVR models, respectively. (shrink)

This study aims to assess the localization of Schema.org for manuscript description in the Iranian-Islamic information context using documentary and qualitative content analysis. The schema.org introduces schemas for different Web content objects so as to generate structured data. Given that the structure of Schema.org is ontological, the inheritance of the manuscript types from the properties of their parent types, as well as the localization and description of the specific properties of the manuscripts in the Iranian-Islamic information context were investigated in (...) order to improve their indexability and semantic visibility in the Web search engines. The proposed properties specific to the manuscript type and the six proposed properties to be added to the “CreativeWork” type are found to be consistent with other schema properties. In turn, these properties lead to the localization of the existing schema for the manuscript type compatibility with the Iranian-Islamic information context. This schema is also applicable to centers with published records on the Web, and if markup with these properties, their indexability and semantic visibility in Web search engines increases accordingly. The generation of structured data in the Web environment through this schema is deemed to promote the concept of the Semantic Web, and make data and knowledge retrieval easier. (shrink)

The earlier volume in this series dealt with two religions of Indian origin, namely, Buddhism and Jainism. The Indian religious scene, however, is characterized by not only religions which originated in India but also by religions which entered India from outside India and made their home here. Thus religious life in India has been enlivened throughout its history by the presence of religions of foreign origin on its soil almost from the very time they came into existence. This volume covers (...) three such religions—Zoraoastrianism, Judaism, and Islam. In the case of Zoraostianism, even its very beginnings are intertwined with India, as Zoroastrianism reformed a preexisting religion which had strong links to the Vedic heritage of India. This relationship took on a new dimension when a Zoroastrian community, fearing persecution in Persia after its Arab conquest, sought shelter in western India and ultimately went on to produce India’s pioneering nationalist in the figure of Dadabhai Naoroji ( 1825-1917), also known as the Grand Old Man of India. Jews found refuge in south India after the destruction of the Temple by the Romans in 70 C.E. and have remained a part of the Indian religious scene since then, some even returning to Israel after it was founded in 1948. Islam arrived in Kerala as soon as it was founded and one of the earliest mosques in the history of Islam is found in India. Islam differs from the previously mentioned religions inasmuch as it went on to gain political hegemony over parts of the country for considerable periods of time, which meant that its impact on the religious life of the subcontinent has been greater compared to the other religions. It has also meant that Islam has existed in a religiously plural environment in India for a longer period than elsewhere in the world so that not only has Islam left a mark on India, India has also left its mark on it. Indeed all the three religions covered in this volume share this dual feature, that they have profoundly influenced Indian religious life and have also in turn been profoundly influenced by their presence in India. (shrink)

The earlier volume in this series dealt with two religions of Indian origin, namely, Buddhism and Jainism. The Indian religious scene, however, is characterized by not only religions which originated in India but also by religions which entered India from outside India and made their home here. Thus religious life in India has been enlivened throughout its history by the presence of religions of foreign origin on its soil almost from the very time they came into existence. This volume covers (...) three such religions—Zoraoastrianism, Judaism, and Islam. In the case of Zoraostianism, even its very beginnings are intertwined with India, as Zoroastrianism reformed a preexisting religion which had strong links to the Vedic heritage of India. This relationship took on a new dimension when a Zoroastrian community, fearing persecution in Persia after its Arab conquest, sought shelter in western India and ultimately went on to produce India’s pioneering nationalist in the figure of Dadabhai Naoroji ( 1825-1917), also known as the Grand Old Man of India. Jews found refuge in south India after the destruction of the Temple by the Romans in 70 C.E. and have remained a part of the Indian religious scene since then, some even returning to Israel after it was founded in 1948. Islam arrived in Kerala as soon as it was founded and one of the earliest mosques in the history of Islam is found in India. Islam differs from the previously mentioned religions inasmuch as it went on to gain political hegemony over parts of the country for considerable periods of time, which meant that its impact on the religious life of the subcontinent has been greater compared to the other religions. It has also meant that Islam has existed in a religiously plural environment in India for a longer period than elsewhere in the world so that not only has Islam left a mark on India, India has also left its mark on it. Indeed all the three religions covered in this volume share this dual feature, that they have profoundly influenced Indian religious life and have also in turn been profoundly influenced by their presence in India. (shrink)

This seventh volume of Collected Papers includes 70 papers comprising 974 pages on (theoretic and applied) neutrosophics, written between 2013-2021 by the author alone or in collaboration with the following 122 co-authors from 22 countries: Mohamed Abdel-Basset, Abdel-Nasser Hussian, C. Alexander, Mumtaz Ali, Yaman Akbulut, Amir Abdullah, Amira S. Ashour, Assia Bakali, Kousik Bhattacharya, Kainat Bibi, R. N. Boyd, Ümit Budak, Lulu Cai, Cenap Özel, Chang Su Kim, Victor Christianto, Chunlai Du, Chunxin Bo, Rituparna Chutia, Cu Nguyen Giap, Dao The (...) Son, Vinayak Devvrat, Arindam Dey, Partha Pratim Dey, Fahad Alsharari, Feng Yongfei, S. Ganesan, Shivam Ghildiyal, Bibhas C. Giri, Masooma Raza Hashmi, Ahmed Refaat Hawas, Hoang Viet Long, Le Hoang Son, Hongbo Wang, Hongnian Yu, Mihaiela Iliescu, Saeid Jafari, Temitope Gbolahan Jaiyeola, Naeem Jan, R. Jeevitha, Jun Ye, Anup Khan, Madad Khan, Salma Khan, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, Kifayat Ullah, Kishore Kumar P.K., Sujit Kumar De, Prasun Kumar Nayak, Malayalan Lathamaheswari, Luong Thi Hong Lan, Anam Luqman, Luu Quoc Dat, Tahir Mahmood, Hafsa M. Malik, Nivetha Martin, Mai Mohamed, Parimala Mani, Mingcong Deng, Mohammed A. Al Shumrani, Mohammad Hamidi, Mohamed Talea, Kalyan Mondal, Muhammad Akram, Muhammad Gulistan, Farshid Mofidnakhaei, Muhammad Shoaib, Muhammad Riaz, Karthika Muthusamy, Nabeela Ishfaq, Deivanayagampillai Nagarajan, Sumera Naz, Nguyen Dinh Hoa, Nguyen Tho Thong, Nguyen Xuan Thao, Noor ul Amin, Dragan Pamučar, Gabrijela Popović, S. Krishna Prabha, Surapati Pramanik, Priya R, Qiaoyan Li, Yaser Saber, Said Broumi, Saima Anis, Saleem Abdullah, Ganeshsree Selvachandran, Abdulkadir Sengür, Seyed Ahmad Edalatpanah, Shahbaz Ali, Shahzaib Ashraf, Shouzhen Zeng, Shio Gai Quek, Shuangwu Zhu, Shumaiza, Sidra Sayed, Sohail Iqbal, Songtao Shao, Sundas Shahzadi, Dragiša Stanujkić, Željko Stević, Udhayakumar Ramalingam, Zunaira Rashid, Hossein Rashmanlou, Rajkumar Verma, Luige Vlădăreanu, Victor Vlădăreanu, Desmond Jun Yi Tey, Selçuk Topal, Naveed Yaqoob, Yanhui Guo, Yee Fei Gan, Yingcang Ma, Young Bae Jun, Yuping Lai, Hafiz Abdul Wahab, Wei Yang, Xiaohong Zhang, Edmundas Kazimieras Zavadskas, Lemnaouar Zedam. (shrink)

This twelfth volume of Collected Papers includes 86 papers comprising 976 pages on Neutrosophics Theory and Applications, published between 2013-2021 in the international journal and book series “Neutrosophic Sets and Systems” by the author alone or in collaboration with the following 112 co-authors (alphabetically ordered) from 21 countries: Abdel Nasser H. Zaied, Muhammad Akram, Bobin Albert, S. A. Alblowi, S. Anitha, Guennoun Asmae, Assia Bakali, Ayman M. Manie, Abdul Sami Awan, Azeddine Elhassouny, Erick González-Caballero, D. Dafik, Mithun Datta, Arindam Dey, (...) Mamouni Dhar, Christopher Dyer, Nur Ain Ebas, Mohamed Eisa, Ahmed K. Essa, Faruk Karaaslan, João Alcione Sganderla Figueiredo, Jorge Fernando Goyes García, N. Ramila Gandhi, Sudipta Gayen, Gustavo Alvarez Gómez, Sharon Dinarza Álvarez Gómez, Haitham A. El-Ghareeb, Hamiden Abd El-Wahed Khalifa, Masooma Raza Hashmi, Ibrahim M. Hezam, German Acurio Hidalgo, Le Hoang Son, R. Jahir Hussain, S. Satham Hussain, Ali Hussein Mahmood Al-Obaidi, Hays Hatem Imran, Nabeela Ishfaq, Saeid Jafari, R. Jansi, V. Jeyanthi, M. Jeyaraman, Sripati Jha, Jun Ye, W.B. Vasantha Kandasamy, Abdullah Kargın, J. Kavikumar, Kawther Fawzi Hamza Alhasan, Huda E. Khalid, Neha Andalleb Khalid, Mohsin Khalid, Madad Khan, D. Koley, Valeri Kroumov, Manoranjan Kumar Singh, Pavan Kumar, Prem Kumar Singh, Ranjan Kumar, Malayalan Lathamaheswari, A.N. Mangayarkkarasi, Carlos Rosero Martínez, Marvelio Alfaro Matos, Mai Mohamed, Nivetha Martin, Mohamed Abdel-Basset, Mohamed Talea, K. Mohana, Muhammad Irfan Ahamad, Rana Muhammad Zulqarnain, Muhammad Riaz, Muhammad Saeed, Muhammad Saqlain, Muhammad Shabir, Muhammad Zeeshan, Anjan Mukherjee, Mumtaz Ali, Deivanayagampillai Nagarajan, Iqra Nawaz, Munazza Naz, Roan Thi Ngan, Necati Olgun, Rodolfo González Ortega, P. Pandiammal, I. Pradeepa, R. Princy, Marcos David Oviedo Rodríguez, Jesús Estupiñán Ricardo, A. Rohini, Sabu Sebastian, Abhijit Saha, Mehmet Șahin, Said Broumi, Saima Anis, A.A. Salama, Ganeshsree Selvachandran, Seyed Ahmad Edalatpanah, Sajana Shaik, Soufiane Idbrahim, S. Sowndrarajan, Mohamed Talea, Ruipu Tan, Chalapathi Tekuri, Selçuk Topal, S. P. Tiwari, Vakkas Uluçay, Maikel Leyva Vázquez, Chinnadurai Veerappan, M. Venkatachalam, Luige Vlădăreanu, Ştefan Vlăduţescu, Young Bae Jun, Wadei F. Al-Omeri, Xiao Long Xin.‬‬‬‬‬‬. (shrink)

This article proposes an analysis of changes implemented during Malaysia's Prime Minister Abdullah Ahmad Badawi's administration (20032003), which displayed bias against changes and introduced schemes to justify the systems it upheld. Transmutations wrought during Abdullah's tenure may have been neither substantial nor totalizing, but within the conservative paradigm which had long gripped national politics, Abdullah's deviations were significant nevertheless.

The aim of present paper is to introduce the concept of ‘expressive perception’ in Ernst Cassirer’s philosophical mythology. Having Cited Dorothy Emmet’s methodological objection, the author, by recalling Kantian aspect of Cassirer’s thought and referring to the concept of ‘expressive perception’, would make an attempt to reply on his part: according to Cassirer, this level of perceptive experience is the origin of the mythical form of thinking as a whole and, at the same time, is the original and irreducible altogether. (...) Thus, taking ‘mythical thought’ as an independent form of thinking, beside the ‘critical-empirical’ form of thinking, is, for one thing, completely cogent; for another, due to its dependency upon expressive form of perception, mythical thought would never be quite omitted, rather, keep living latently beneath the skin of mental life. In addition, author explains how much Cassirer owes, regarding to the concept of ‘expressive form of perception’, to Max Scheler. Avoiding to elaborate on Scheler’s detailed argument, Cassirer relies strongly on the consequences Scheler draws from his considerations in his work ‘Wesen und Formen der Sympathie’. Restating Scheler’s argument briefly should help in understanding Cassirer’s idea. (shrink)

This paper presents an edition of al-Hasan ibn al-asan ibn al-Haytham's treatise, Qawl fi samt al-qibla bi-al-isāb with translation and commentary. In it Ibn al-Haytham provides a universal method for finding the direction of the qibla at any location on the surface of the earth by using spherical trigonometry and accurate calculation. Ibn al-Haytham's computational solution has not been studied before, and it has often been confused with another work of his in which he uses an analemma construction to solve (...) the problem of the qibla graphically. As a result of this confusion, contemporary scholars have mistakenly attributed the first universal solution of the qibla problem to Jamshīd al-Kāshī, some four centuries after the introduction of this method by Ibn al-Haytham. The present treatise represents an important juncture in the history of the development of mathematics of the qibla, and sheds more light on the contributions of one of the most important scientists of medieval Islam. (shrink)

I focus on an overlooked aspect of the challenge of irrelevant influences. The challenge is often framed in terms of whether recognizing the presence of irrelevant factors in the pedigree of a belief provides a defeater. I argue that the epistemic significance of irrelevant factors goes beyond their status as defeaters. I focus on what I call gray cases, where learning about such factors causes epistemic worry without justifying giving up the belief. I argue that in gray cases, the subject (...) finds a commendatory epistemic practical reason to engage in an activity intended to assuage that epistemic worry. (shrink)

According to Millianism, the semantic content of a proper name is its semantic referent. Many names, however, lack semantic referent; hence, so-called ‘empty’ names. Empty names raise various problems for Millianism. T.C. Ryckman, Fred Adams, Garry Fuller, Robert Stecker, Kenneth Taylor, and Nicole Wyatt, among others, have defended Millianism against these problems by appeal to pragmatics . I introduce Millianism and the problems raised by empty names for the view, then examine Pragmatic Millianism , its strength, its varieties, and why (...) the previous arguments against PM do not succeed. I then provide my argument against PM: the view oversimplifies the complex phenomenon of association between names and descriptions. I discuss an objection to my argument and rebut that. Finally, I try to draw an outline of a positive view. (shrink)

I present a puzzle regarding the norms of disagreement and inquiry. The puzzle mainly concerns a special type of peer disagreement that I call “mild disagreement”, in which the parties to the disagreement believe a proposition but with different degrees of confidence. The puzzle is best formulated as an inconsistent triad: (NJ1) The state of mild disagreement provides the involved parties with no epistemic reason to drop their belief regarding the disputed judgment. (NJ2) The state of mild disagreement provides a (...) practical reason for the involved parties to launch an inquiry into the disputed judgment. (NJ3) If the state of disagreement provides a reason to launch an inquiry into the disputed judgment, the involved parties have a reason to drop their belief regarding the disputed judgment. After discussing some possible responses to the puzzle, I offer my own solution, which involves introducing a new take on how to understand inquiry. This new take on the nature of inquiry can provide us with an alternative to the influential account recently defended by Jane Friedman. (shrink)

The paper describes the design of an intelligent tutoring system for teaching Introduction to Computer Science-a compulsory curriculum in Al-Azhar University of Gaza to students who attend the university. The basic idea of this system is a systematic introduction into computer science. The system presents topics with examples. The system is dynamically checks student's individual progress. An initial evaluation study was done to investigate the effect of using the intelligent tutoring system on the performance of students enrolled in computer science (...) curriculum at Al-Azhar University, Gaza. The results showed a positive impact on the evaluators. (shrink)

We argue that the debate about the normativity of belief thesis has been hampered by the slogan, ‘belief aims at truth’. We show that the slogan provides no content to the normativity of belief. The slogan encourages formulations of the norm as a prescriptive norm. There are well-known problems with such formulations. We provide a new formulation of the thesis as a prohibitive norm. This captures the key intuition most normativists about belief want to endorse.

According to many philosophers, the notion of belief is constitutively normative ; Shah ; Shah and Velleman (); Gibbard (); Wedgwood ). In a series of widely discussed papers, Terence Horgan and Mark Timmons have developed an ingenious ‘Moral Twin Earth’ argument against ‘Cornell Realist’ metaethical views which hold that moral terms have synthetic natural definitions in the manner of natural kind terms. In this paper we shall suggest that an adaptation of the Moral Twin Earth argument to the doxastic (...) case – Doxastic Twin Earth – provides new evidence for the normativity of belief. (shrink)

The weaponizing of scientific expertise to oppose regulation has been extensively studied. However, the relevant studies, belonging to the emerging discipline of agnotology, remain focused on the analysis of empirical corruption: of misinformation, doubt mongering, and other practices that cynically deploy expertise to render audiences ignorant of empirical facts. This paper explores the wrongful deployment of expertise beyond empirical corruption. To do so, I develop a broader framework of morally subversive expertise, building on recent work in political philosophy (Howard, 2016). (...) Expertise is subversive if it sets up its audience to fail morally, either intentionally or negligently. I distinguish three modes of subversive expertise: empirical subversion (the focus of agnotology), normative subversion and motivational subversion. Drawing on these distinctions, I offer a revisionary account of the Trump Administration’s regulatory science as a case study. I show that the Trump Administration’s use of expertise to dismantle climate regulation, contra the standard charge, cannot be explained using the resources of agnotology alone: the Administration produced highly reliable climate assessments, detailing the risks of climate change, candidly admitting the harms of its proposed policies, and still successfully deployed these findings to justify massive climate deregulation. The lesson of the analysis is that dismissing the expertise that underpins climate deregulation as empirically corrupt ‘anti-science’ both obscures its actual role in the politics of climate change and understates its wrongfulness: it misses the breadth of the assault on moral agency that sustains climate injustice. (shrink)

Linear continuous logic is the fragment of continuous logic obtained by restricting connectives to addition and scalar multiplications. Most results in the full continuous logic have a counterpart in this fragment. In particular a linear form of the compactness theorem holds. We prove this variant and use it to deduce some basic preservation theorems.

According to Burge, it is not possible to commit brute errors in the process of critical reasoning. This thesis lies at the heart of Burge’s influential theory of self-knowledge. By appealing to a version of the slow-switching argument, this paper contends that Burge’s view is not compatible with his commitment to externalism about mental content. In particular, it is argued that accepting externalism opens up the possibility of brute errors in the process of critical reasoning.

After introducing Millianism and touching on two problems raised by genuinely empty names for Millianism (section I), I provide a brief exposition of the Gappy Proposition View (GPV) and of how different versions of this view can reply to the problems in question (section II). In the following sections I develop my reasons against the GPV. First, I will try to argue that apparently promising arguments for the claim that gappy propositions are propositions are not successful (section III). Then, I (...) will develop two arguments against GPs via demonstrating two odd consequences of the GPV: (a) that there can be an atomic proposition which contains other propositions that are not the semantic contents of any part of the .. (shrink)